#include <stdio.h>
#include <time.h>
#include "parser.tab.h"

int yyprint(FILE *file, int type, YYSTYPE value)
{
    fprintf(file, "TYPE: %d\n", type);
    
    return 0;
    
}

